s0 = 17*4*1024
print("s0=%d" % s0)
s1 = 2**11
s2 = 2**10
s3 = 2**9
s4 = 2**12
s = 17 * (s1 + s2 + s3) + 2*s4
print("s=%d" % s)
